<?php

namespace V5;
class UserPushId extends \V4\UserPushId {}